Mechanically Proved Practical Local Null Safety
نویسندگان
چکیده
منابع مشابه
Renaming Global Variables in C Mechanically Proved Correct
Most integrated development environments are shipped with refactoring tools. However, their refactoring operations are often known to be unreliable. As a consequence, developers have to test their code after applying an automatic refactoring. In this article, we consider a refactoring operation (renaming of global variables in C), and we prove that its core implementation preserves the set of p...
متن کاملA mechanically proved and incremental development of IEEE 1394
The IEEE 1394 tree identify protocol illustrates the adequacy of the event-driven approach used together with the B Method . This approach provides a complete framework for developing mathematical models of distributed algorithms. A speci c development is made of a series of more and more re ned models. Each model is made of a number of static properties (the invariant), and of a dynamic parts ...
متن کاملSafety of thoracentesis in mechanically ventilated patients.
As practicing intensivists, we frequently diagnose pleural effusions in mechanically ventilated patients and routinely perform thoracentesis even when the patient is on positive end-expiratory pressure (PEEP). In light of a recent report, we have reviewed our experience. It is of interest that all thoracenteses were performed with patients in the lateral decubitus position.
متن کاملO4: Theoretical and Practical Basics for Successful Traffic Safety Work
لطفاً به چکیده انگلیسی مراجعه شود.
متن کاملPractical memory safety for C
Copious amounts of high-performance and low-level systems code are written in memory-unsafe languages such as C and C++. Unfortunately, the lack of memory safety undermines security and reliability; for example, memory-corruption bugs in programs can breach security, and faults in kernel extensions can bring down the entire operating system. Memory-safe languages, however, are unlikely to displ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2016
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2016-28(5)-2